Large State Space Visualization
نویسندگان
چکیده
Insight in the global structure of a state space is of great help in the analysis of the underlying process. We present a tool to visualize the structure of very large state spaces. It uses a clustering method to obtain a simplified representation, which is used as a backbone for the display of the entire state space. With this tool we are able to answer questions about the global structure of a state space that cannot easily be answered by conventional methods. We show this by presenting a number of visualizations of real-world protocols.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملState Space Visualization
Insight in the global structure of a state space is of great help in the analysis of the underlying process. We advocate the use of visualization for this purpose and present a new method to visualize the structure of very large state spaces. The method uses a clustering method to obtain a simplified representation, which is used as a backbone for the display of the entire state space. With thi...
متن کاملAssessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Abstract. State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For a good understanding of the system’s behavior, an analyst may need to assess the state space. Unfortunately, state spaces of realistic applications tend to be very large. This makes this assessment hard. In...
متن کاملInteractive Visualization of Non-deterministic Discrete Processes
We describe a method to use non-deterministic state transition graphs as tools for exploration of complex processes. For any interesting process, the full state space will probably be large enough that it cannot be displayed nor explored in its entirety. Therefore we suggest that the visualization process only generate as much of the space as is necessary for the continued exploration. We have ...
متن کاملAnalysis of Power Electronic Converters Using the Developed State Space Averaging Method
Power electronic converters are non-linear time-dependent systems whose exact analysis without the use of computers is very difficult, and even using computer softwares requires a long time. Use of the state space averaging method, as will be mentioned, in addition to simplifying the analysis procedure which is a result of converting a time-dependent system to a time-independent one, reduces th...
متن کاملAnalysis of Power Electronic Converters Using the Developed State Space Averaging Method
Power electronic converters are non-linear time-dependent systems whose exact analysis without the use of computers is very difficult, and even using computer softwares requires a long time. Use of the state space averaging method, as will be mentioned, in addition to simplifying the analysis procedure which is a result of converting a time-dependent system to a time-independent one, reduces th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003